Modelling ambulance deployment with CARMA
نویسنده
چکیده
CARMA is process-algebra influenced language for the quantitative modelling of collective adaptive systems which involve collaboration and coordination. These systems consist of multiple components that interact to achieve certain goals and that adapt to changes in the environment. As a case study for the application of CARMA, this paper presents an ambulance deployment system where ambulances go to medical incidents and either treat patients at the scene or transfer them to hospital. The Eclipse CARMA Plug-in is used to simulate the system, and demonstrate its behaviour in different circumstances.
منابع مشابه
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools
Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous task-oriented systems that cooperate on common goals forming a collective system. This class of systems is typically composed of a huge number of interacting agents that dynamically adjust and combine their behaviour to achieve specific goals. This chapter presents CARMA, a language recently defined to support specifi...
متن کاملSpecification and Analysis of Open-Ended Systems with CARMA
CARMA is a new language recently defined to support quantified specification and analysis of collective adaptive systems. It is a stochastic process algebra equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in open-ended and unpredictable environments. This class of systems is typically composed of a huge number of interacting agen...
متن کاملIntegration of CARMA Processes and Spot Volatility Modelling
Continuous-time autoregressive moving average (CARMA) processes with a nonnegative kernel and driven by a non-decreasing Lévy process constitute a useful and very general class of stationary, non-negative continuous-time processes which have been used, in particular, for the modelling of stochastic volatility. Brockwell, Davis and Yang (2011) considered the fitting of CARMA models to closely an...
متن کاملSome computational aspects of Gaussian CARMA modelling
Representation of continuous-time ARMA, CARMA, models is reviewed. Computational aspects of simulating and calculating the likelihood-function of CARMA are summarized. Some numerical properties are illustrated by simulations. Some real data applications are shown.
متن کاملDeployment of Interpretive Structural Modelling Methodology in Supply Chain Management –An overview
Abstract Purpose-The purpose of this paper is to review a sample of the literature relating to Interpretive Structural Modelling (ISM) and its deployment for modelling purposes in the area of supply chain management (SCM). Design/methodology/approach- The literature is examined from the three perspectives. First, concept of ISM and examines ISM as modelling technique. Second, use of ISM by ...
متن کامل